Optimal. Leaf size=242 \[ \frac{\log \left (-3 c e^2 \sqrt [3]{2 c d-b e} \sqrt [3]{b^2 e^2-b c d e+3 b c e^2 x+c^2 d^2+3 c^2 e^2 x^2}+3 c e^2 (c d-b e)-3 c^2 e^3 x\right )}{2 e (2 c d-b e)^{2/3}}-\frac{\tan ^{-1}\left (\frac{2 (-b e+c d-c e x)}{\sqrt{3} \sqrt [3]{2 c d-b e} \sqrt [3]{b^2 e^2-b c d e+3 b c e^2 x+c^2 d^2+3 c^2 e^2 x^2}}+\frac{1}{\sqrt{3}}\right )}{\sqrt{3} e (2 c d-b e)^{2/3}}-\frac{\log (d+e x)}{2 e (2 c d-b e)^{2/3}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.139311, antiderivative size = 242, normalized size of antiderivative = 1., number of steps used = 1, number of rules used = 1, integrand size = 52, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.019, Rules used = {750} \[ \frac{\log \left (-3 c e^2 \sqrt [3]{2 c d-b e} \sqrt [3]{b^2 e^2-b c d e+3 b c e^2 x+c^2 d^2+3 c^2 e^2 x^2}+3 c e^2 (c d-b e)-3 c^2 e^3 x\right )}{2 e (2 c d-b e)^{2/3}}-\frac{\tan ^{-1}\left (\frac{2 (-b e+c d-c e x)}{\sqrt{3} \sqrt [3]{2 c d-b e} \sqrt [3]{b^2 e^2-b c d e+3 b c e^2 x+c^2 d^2+3 c^2 e^2 x^2}}+\frac{1}{\sqrt{3}}\right )}{\sqrt{3} e (2 c d-b e)^{2/3}}-\frac{\log (d+e x)}{2 e (2 c d-b e)^{2/3}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 750
Rubi steps
\begin{align*} \int \frac{1}{(d+e x) \sqrt [3]{c^2 d^2-b c d e+b^2 e^2+3 b c e^2 x+3 c^2 e^2 x^2}} \, dx &=-\frac{\tan ^{-1}\left (\frac{1}{\sqrt{3}}+\frac{2 (c d-b e-c e x)}{\sqrt{3} \sqrt [3]{2 c d-b e} \sqrt [3]{c^2 d^2-b c d e+b^2 e^2+3 b c e^2 x+3 c^2 e^2 x^2}}\right )}{\sqrt{3} e (2 c d-b e)^{2/3}}-\frac{\log (d+e x)}{2 e (2 c d-b e)^{2/3}}+\frac{\log \left (3 c e^2 (c d-b e)-3 c^2 e^3 x-3 c e^2 \sqrt [3]{2 c d-b e} \sqrt [3]{c^2 d^2-b c d e+b^2 e^2+3 b c e^2 x+3 c^2 e^2 x^2}\right )}{2 e (2 c d-b e)^{2/3}}\\ \end{align*}
Mathematica [C] time = 0.491314, size = 317, normalized size = 1.31 \[ -\frac{\sqrt [3]{3} \sqrt [3]{\frac{-\sqrt{3} \sqrt{-c^2 e^2 (b e-2 c d)^2}+3 b c e^2+6 c^2 e^2 x}{c^2 e (d+e x)}} \sqrt [3]{\frac{\sqrt{3} \sqrt{-c^2 e^2 (b e-2 c d)^2}+3 b c e^2+6 c^2 e^2 x}{c^2 e (d+e x)}} F_1\left (\frac{2}{3};\frac{1}{3},\frac{1}{3};\frac{5}{3};-\frac{-6 d e c^2+3 b e^2 c+\sqrt{3} \sqrt{-c^2 e^2 (b e-2 c d)^2}}{6 c^2 e (d+e x)},\frac{6 d e c^2-3 b e^2 c+\sqrt{3} \sqrt{-c^2 e^2 (b e-2 c d)^2}}{6 c^2 e (d+e x)}\right )}{2\ 2^{2/3} e \sqrt [3]{b^2 e^2+b c e (3 e x-d)+c^2 \left (d^2+3 e^2 x^2\right )}} \]
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
Maple [F] time = 1.477, size = 0, normalized size = 0. \begin{align*} \int{\frac{1}{ex+d}{\frac{1}{\sqrt [3]{3\,{c}^{2}{e}^{2}{x}^{2}+3\,bc{e}^{2}x+{b}^{2}{e}^{2}-bcde+{c}^{2}{d}^{2}}}}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{1}{{\left (3 \, c^{2} e^{2} x^{2} + 3 \, b c e^{2} x + c^{2} d^{2} - b c d e + b^{2} e^{2}\right )}^{\frac{1}{3}}{\left (e x + d\right )}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{1}{\left (d + e x\right ) \sqrt [3]{b^{2} e^{2} - b c d e + 3 b c e^{2} x + c^{2} d^{2} + 3 c^{2} e^{2} x^{2}}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{1}{{\left (3 \, c^{2} e^{2} x^{2} + 3 \, b c e^{2} x + c^{2} d^{2} - b c d e + b^{2} e^{2}\right )}^{\frac{1}{3}}{\left (e x + d\right )}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]